BourbakiV1, France, Analysis, bibRecord, 000148

La logique mathématique en France entre les deux guerres mondiales: Quelques repères : Regards sur les mathématiques en France entre les deux guerres

Identifieur interne : 000148 ( France/Analysis ); précédent : 000147; suivant : 000149

La logique mathématique en France entre les deux guerres mondiales: Quelques repères : Regards sur les mathématiques en France entre les deux guerres

Auteurs : Marcel Guillaume [France]

Source :

Revue d'histoire des sciences : (Paris) [ 0151-4105 ] ; 2009.

RBID : Francis:10-0059621

Descripteurs français

Pascal (Inist)
- Logique mathématique, Siècle 20, Bourbaki (N.), Groupe, Lautman (A.), Structure, Unification, Déduction, Entre deux guerres, Jean Nicod, Jacques Herbrand, Marc Krasner.

English descriptors

KwdEn :
- Bourbaki (N.), Century 20, Deduction, Group, Lautman (A.,, Mathematical Logic, Structure, Unification.

Abstract

Une première période où les influences mêlées d'Alessandro Padoa et de Bertrand Kussell s'exercent en France culmine avec les essais philosophiques de Jean Nicod. Une seconde période voit fleurir les travaux du mathématicien Jacques Herbrand ; avant de périr, il laisse son nom à un théorème fondamental. Suit une période de débats entre philosophes, mathématiciens et physiciens, stimulés en 1935 et 1937 par la tenue à Paris de deux congrès consacrés, totalement ou en partie, à la philosophie des sciences. Paulette Février y esquisse une logique non classique où l'on postule l'existence de couples de propositions non composables pour ériger en principes les relations de Werner Heisenberg. Jean-Louis Destouches développe cette conception jusqu'à décrire comment édifier une théorie unifiante. La structuration des êtres mathématiques est l'objet d'études philosophiques d'Albert Lautman. Le rôle putatif de la notion de groupe en logique est interrogé. La notion de structure mathémati-que est l'objet de deux contributions: Marc Krasner généralise les conceptions d'Évariste Galois, attribuées à la logique et étendues à des langages infinitaires ; Nicolas Bourbaki, compte tenu de l'évolution des mathématiques, qualifie de structure ce que nous appelons aujourd'hui un modèle.

Affiliations:

Links toward previous steps (curation, corpus...)

to stream PascalFrancis, to step Corpus: 000006
to stream PascalFrancis, to step Curation: 000090
to stream PascalFrancis, to step Checkpoint: 000006
to stream Main, to step Merge: 000771
to stream Main, to step Curation: 000764
to stream Main, to step Exploration: 000764
to stream France, to step Extraction: 000148

Links to Exploration step

Francis:10-0059621

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" level="a">La logique mathématique en France entre les deux guerres mondiales: Quelques repères : Regards sur les mathématiques en France entre les deux guerres</title>
<author><name sortKey="Guillaume, Marcel" sort="Guillaume, Marcel" uniqKey="Guillaume M" first="Marcel" last="Guillaume">Marcel Guillaume</name>
<affiliation wicri:level="3"><inist:fA14 i1="01"><s1>Marcel Guillaume, professeur honoraire, Université de Clermont-Ferrand 11, 34, avenue Carnot</s1>
<s2>63000 Clermont-Ferrand</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Auvergne-Rhône-Alpes</region>
<region type="old region" nuts="2">Auvergne (région administrative)</region>
<settlement type="city">Clermont-Ferrand</settlement>
</placeName>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">10-0059621</idno>
<date when="2009">2009</date>
<idno type="stanalyst">FRANCIS 10-0059621 INIST</idno>
<idno type="RBID">Francis:10-0059621</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000006</idno>
<idno type="wicri:Area/PascalFrancis/Curation">000090</idno>
<idno type="wicri:Area/PascalFrancis/Checkpoint">000006</idno>
<idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">000006</idno>
<idno type="wicri:doubleKey">0151-4105:2009:Guillaume M:la:logique:mathematique</idno>
<idno type="wicri:Area/Main/Merge">000771</idno>
<idno type="wicri:Area/Main/Curation">000764</idno>
<idno type="wicri:Area/Main/Exploration">000764</idno>
<idno type="wicri:Area/France/Extraction">000148</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="fr" level="a">La logique mathématique en France entre les deux guerres mondiales: Quelques repères : Regards sur les mathématiques en France entre les deux guerres</title>
<author><name sortKey="Guillaume, Marcel" sort="Guillaume, Marcel" uniqKey="Guillaume M" first="Marcel" last="Guillaume">Marcel Guillaume</name>
<affiliation wicri:level="3"><inist:fA14 i1="01"><s1>Marcel Guillaume, professeur honoraire, Université de Clermont-Ferrand 11, 34, avenue Carnot</s1>
<s2>63000 Clermont-Ferrand</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Auvergne-Rhône-Alpes</region>
<region type="old region" nuts="2">Auvergne (région administrative)</region>
<settlement type="city">Clermont-Ferrand</settlement>
</placeName>
</affiliation>
</author>
</analytic>
<series><title level="j" type="main">Revue d'histoire des sciences : (Paris)</title>
<title level="j" type="abbreviated">Rev. hist. sci. : (Paris)</title>
<idno type="ISSN">0151-4105</idno>
<imprint><date when="2009">2009</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><title level="j" type="main">Revue d'histoire des sciences : (Paris)</title>
<title level="j" type="abbreviated">Rev. hist. sci. : (Paris)</title>
<idno type="ISSN">0151-4105</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Bourbaki (N.)</term>
<term>Century 20</term>
<term>Deduction</term>
<term>Group</term>
<term>Lautman (A.,</term>
<term>Mathematical Logic</term>
<term>Structure</term>
<term>Unification</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Logique mathématique</term>
<term>Siècle 20</term>
<term>Bourbaki (N.)</term>
<term>Groupe</term>
<term>Lautman (A.)</term>
<term>Structure</term>
<term>Unification</term>
<term>Déduction</term>
<term>Entre deux guerres</term>
<term>Jean Nicod</term>
<term>Jacques Herbrand</term>
<term>Marc Krasner</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr">Une première période où les influences mêlées d'Alessandro Padoa et de Bertrand Kussell s'exercent en France culmine avec les essais philosophiques de Jean Nicod. Une seconde période voit fleurir les travaux du mathématicien Jacques Herbrand ; avant de périr, il laisse son nom à un théorème fondamental. Suit une période de débats entre philosophes, mathématiciens et physiciens, stimulés en 1935 et 1937 par la tenue à Paris de deux congrès consacrés, totalement ou en partie, à la philosophie des sciences. Paulette Février y esquisse une logique non classique où l'on postule l'existence de couples de propositions non composables pour ériger en principes les relations de Werner Heisenberg. Jean-Louis Destouches développe cette conception jusqu'à décrire comment édifier une théorie unifiante. La structuration des êtres mathématiques est l'objet d'études philosophiques d'Albert Lautman. Le rôle putatif de la notion de groupe en logique est interrogé. La notion de structure mathémati-que est l'objet de deux contributions: Marc Krasner généralise les conceptions d'Évariste Galois, attribuées à la logique et étendues à des langages infinitaires ; Nicolas Bourbaki, compte tenu de l'évolution des mathématiques, qualifie de structure ce que nous appelons aujourd'hui un modèle.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Auvergne (région administrative)</li>
<li>Auvergne-Rhône-Alpes</li>
</region>
<settlement><li>Clermont-Ferrand</li>
</settlement>
</list>
<tree><country name="France"><region name="Auvergne-Rhône-Alpes"><name sortKey="Guillaume, Marcel" sort="Guillaume, Marcel" uniqKey="Guillaume M" first="Marcel" last="Guillaume">Marcel Guillaume</name>
</region>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/France/Analysis

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000148 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/France/Analysis/biblio.hfd -nk 000148 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Mathematiques
   |area=    BourbakiV1
   |flux=    France
   |étape=   Analysis
   |type=    RBID
   |clé=     Francis:10-0059621
   |texte=   La logique mathématique en France entre les deux guerres mondiales: Quelques repères : Regards sur les mathématiques en France entre les deux guerres
}}

This area was generated with Dilib version V0.6.33.
Data generation: Thu Jul 5 10:00:31 2018. Site generation: Sat Nov 19 17:42:07 2022

	Serveur d'exploration Bourbaki
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration Bourbaki

La logique mathématique en France entre les deux guerres mondiales: Quelques repères : Regards sur les mathématiques en France entre les deux guerres

La logique mathématique en France entre les deux guerres mondiales: Quelques repères : Regards sur les mathématiques en France entre les deux guerres

Source :

Descripteurs français

English descriptors

Abstract

Links toward previous steps (curation, corpus...)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri